退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:动态验证mpI程序,减少拆分操作和放宽订单
Sarvani Vakkalanka; Ganesh Gopalakrishnan; Robert M. Kirby;
机译:使用软件模型检查来验证MPI Java程序
机译:基于MPI的并行程序的自动形式验证
机译:实用MPI程序的形式验证
机译:在拆分运营和放宽排序的存在下减少MPI程序的动态验证
机译:通过分布式因果关系跟踪对MPI程序进行可扩展的形式化动态验证。
机译:水库蓄水作业数据集将并行动态规划与重要度采样和逐次逼近相结合
机译:适用于MPI程序的可扩展的分布式动态形式验证器
机译:自动程序验证II:通过代数和逻辑减少验证程序
机译:作业验证装置,作业验证方法,作业验证程序以及程序的制造方法
机译:操作验证程序时钟生成器,时钟生成方法,时钟生成程序,操作验证设备,操作和验证方法
机译:用于动态生成用于测试自动化设施以验证网站操作的输入的方法,系统和程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。